The Semigroups of Order 10
نویسندگان
چکیده
The number of finite semigroups increases rapidly with the number of elements. Since existing counting formulae do not give the complete number of semigroups of given order up to equivalence, the remainder can only be found by careful search. We describe the use of mathematical results combined with distributed Constraint Satisfaction to show that the number of non-equivalent semigroups of order 10 is 12,418,001,077,381,302,684. This solves a previously open problem in Mathematics, and has directly led to improvements in Constraint Satisfaction technology.
منابع مشابه
Stability of additive functional equation on discrete quantum semigroups
We construct a noncommutative analog of additive functional equations on discrete quantum semigroups and show that this noncommutative functional equation has Hyers-Ulam stability on amenable discrete quantum semigroups. The discrete quantum semigroups that we consider in this paper are in the sense of van Daele, and the amenability is in the sense of Bèdos-Murphy-Tuset. Our main result genera...
متن کاملFuzzy Acts over Fuzzy Semigroups and Sheaves
lthough fuzzy set theory and sheaf theory have been developed and studied independently, Ulrich Hohle shows that a large part of fuzzy set theory is in fact a subfield of sheaf theory. Many authors have studied mathematical structures, in particular, algebraic structures, in both categories of these generalized (multi)sets. Using Hohle's idea, we show that for a (universal) algebra $A$, th...
متن کاملUNIVERSAL COMPACTIFICATIONS OF TRANSFORMATION SEMIGROUPS
We extend the notion of semigroup compactification to the class of transformation semigroups, and determine the compactifications which are universal with respect to some topological properties.
متن کاملOrdered semigroups characterized by their intuitionistic fuzzy bi-ideals
Fuzzy bi-ideals play an important role in the study of ordered semigroupstructures. The purpose of this paper is to initiate and study theintiuitionistic fuzzy bi-ideals in ordered semigroups and investigate thebasic theorem of intuitionistic fuzzy bi-ideals. To provide thecharacterizations of regular ordered semigroups in terms of intuitionisticfuzzy bi-ideals and to discuss the relationships ...
متن کاملClassification of Monogenic Ternary Semigroups
The aim of this paper is to classify all monogenic ternary semigroups, up to isomorphism. We divide them to two groups: finite and infinite. We show that every infinite monogenic ternary semigroup is isomorphic to the ternary semigroup O, the odd positive integers with ordinary addition. Then we prove that all finite monogenic ternary semigroups with the same index...
متن کامل